Section: Dissemination

Promoting Scientific Activities

• ACM POPL – January 2015, Mumbai, India: Karthikeyan Bhargavan

• ACM CCS – October 2015, Denver, USA: Karthikeyan Bhargavan

• ETAPS POST – April 2015, London, UK: Karthikeyan Bhargavan

• ACM SEC@SAC – April 2015, Salamanca, Spain: Karthikeyan Bhargavan

• HotSpot – April 2015, London, UK: Bruno Blanchet

• Members of Prosecco reviewed papers for many major conferences and workshops including ACM CCS, ACM POPL, IEEE S&P, etc.

Associate Editor

• of the International Journal of Applied Cryptography (IJACT) – Inderscience Publishers: Bruno Blanchet